Two comments on Lemmon's Beginning logic.
نویسندگان
چکیده
منابع مشابه
Comments on Predicative Logic
The syntax of intuitionistic propositional second-order logic PSOLi consists of a set of propositional constants P , Q, R, etc, a denumerable set of propositional variables F , G, H, etc, together with the primitive logical signs of the conditional and the universal propositional quantifier, and ponctuation signs (parenthesis). The formulas of PSOLi are the smallest class of expressions of the ...
متن کاملComments on "Logic-Programming with Equations"
The purpose of this note is to analyse the differences between some results contained in [ll and analogous results in [2,31. The three papers deal with the issue of how the basic execution mechanism of logic programming (i.e., SLD resolution) can be exploited to handle some kinds of equational theories: a set E of equations, which may be interpreted as a rewriting system (by orienting the equat...
متن کاملComments on the Logic of Constructible
Nelson has presented a constructive arithmetic with a negation operation (−) different from the ordinary intuitionistic one (¬). In [5] he presents a variant of Kleene's realization semantics for intuitionistic arithmetic, and proves that relative to this interpretation the arithmetic language with – has the same expressive power as the usual intuitionistic one, and fact certain theories of ari...
متن کاملComments on "General Failure of Logic Programs"
t> The paper [1] purports to present a classification of the general failure sets of logic programs and a simple proof of the theorem on the soundness and completeness of the negation-as-failure rule. In this note we clarify some conflicting terminology between [1] and the papers [2, 3] to which it predominantly refers. Our main purpose, however, is to point out major errors, in particular, one...
متن کاملComments on Comments on “An Interval Logic for Real-Time System Specification”
The paper on Comments on “An Interval Logic for Real-Time System Specification” presents some remarks on the comparison examples from TILCO and other logics and some slips on the related examples. This paper gives evidence that such issues have no impact on the validity of the TILCO Theory of paper [1] and provides some further clarifications about some aspects of the comparison.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1977
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093888128